;;; -*- Mode:LISP; Package:LISP-INTERNALS; Base:10; Readtable:CL -*-


(defvar frog3
          '#o(103 111 123 141 161 203 225 243 263 301 337 357 373
              415 433 445 463 475 521 547 577 631 661 711 747
              1011 1043 1101 1145 1203 1245 1317 1357
              1423 1473 1537 1555 1627 1707 1761
              2033 2077 2131 2223 2275 2353 2447 2535 2631 2721
              3021 3123 3235 3337 3437 3541 3665 3767
              4101 4203 4313 4435 4553 4707
              5037 5201 5331 5477 5667
              6045 6163 6343 6517 6667 7065 7261 7461 7663
              10077 10301 10601 11123 11503 12033 12343 12701 13303 13711
              14321 14733 15343 16011 16465 17155 17657
              20343 21003 21603 22401 23303 24201 25117 26011 27001
              30125 31215 32311 33401 34501 35601 37005
              40207 41527 43001 44315 45713 47301
              51011 52407 54003 55401 57007 60607 62413 64207 66005 67603))
